c 2005 Cambridge University Press Math. Struct. in Comp. Science (2005), vol. 15, pp. 1–35.
DOI: S0960129504004311 Printed in the United Kingdom Compositional semantics for open Petri nets based on determinis

Source URL: www.math.unipd.it

By permission of Cambridge University Press this paper is reproduced from the book From semantics to Computer Science; Essays in Memory of Gilles Kahn, to be published early inThe tower of informatic models Robin

Source URL: www.cl.cam.ac.uk

The Problem of Programming Language Concurrency Semantics Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, and Peter Sewell University of Cambridge

Source URL: www.cl.cam.ac.uk

JFP 19 (6): 699–722, c Cambridge University Press 2009  699

Source URL: www.kurims.kyoto-u.ac.jp

• Logic in computer science
• Programming language semantics
• Models of computation
• Denotational semantics
• Operational semantics
• Structure
• Lambda calculus
• Theoretical computer science
• Mathematics
• Mathematical logic

TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593

Source URL: clip.dia.fi.upm.es

• Logic in computer science
• Constraint programming
• Formal languages
• Logic programming
• Constraint Handling Rules
• Operational semantics
• Constraint logic programming
• Model theory
• Bisimulation
• Theoretical computer science
• Mathematics
• Applied mathematics

Estimating scene typicality from human ratings and image features Krista A. Ehinger () Department of Brain & Cognitive Sciences, MIT, 77 Massachusetts Ave. Cambridge, MAUSA Jianxiong Xiao (jxiao@c

Source URL: cvcl.mit.edu

• Semantics
• Categorization
• Knowledge representation
• Content-based image retrieval
• Boosting methods for object categorization
• Computer vision
• Artificial intelligence
• Artificial intelligence applications

TLP 10 (4–6): 675–690, C Cambridge University Press 2010  675

Source URL: myweb.ttu.edu

• Model theory
• Modal logic
• Non-classical logic
• Temporal logic
• Kripke semantics
• Kripke structure
• Interpretation
• Stable model semantics
• Saul Kripke
• Logic
• Mathematical logic
• Philosophical logic

Petri net semantics Jonathan Mark Hayman University of Cambridge Computer Laboratory Darwin College

Source URL: www.cl.cam.ac.uk

• Petri net
• Computer science
• Petri
• Semantics
• Linguistics
• Science
• Concurrency
• Models of computation
• Diagrams

Granularity and Concurrent Separation Logic Jonathan Hayman Computer Laboratory, University of Cambridge Abstract. When defining the semantics of shared-memory concurrent programming languages, one conventionally has to

Source URL: www.cl.cam.ac.uk

• Concurrency
• Diagrams
• Petri net
• Mathematical logic
• Mathematics
• Heap
• Separation logic
• Theoretical computer science
• Models of computation
• Logic in computer science

Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan

Source URL: www.cl.cam.ac.uk

• Petri net
• Models of computation
• Symbol
• Model theory